perm filename WHITD[CMP,LSP] blob
sn#130981 filedate 1974-11-17 generic text, type T, neo UTF8
(GRINDEF MATCH)
(DEFPROP MATCH
(LAMBDA(CANSYMNUM REDSYM REDNUM DSCR)
(COND ((NULL REDSYM) NN)
(T (SETQ SYMG (CAR CANSYMNUM))
(SETQ NUMG (CDR CANSYMNUM))
(SETQ UNSPECFOUNDG NIL)
(COND
((AND (CNDFORM REDSYM)
(MATCHNODE REDSYM
REDNUM
(SETQ EQTABLEG (CAR DSCR))
(SETQ INEQTABLEG (CADR DSCR))
(CDDR DSCR)))
(COND (UNSPECFOUNDG (SETQ REDSYM (CAR UNSPECFOUNDG))
(SETQ REDNUM (CDR UNSPECFOUNDG))
(SETQ UNSPECFOUNDG NIL))
(T NIL))
((LAMBDA(CANSYM INEQTABLE SEEN)
((LAMBDA(CONCNUM ALTNUM PARAMS EQTABLE)
((LAMBDA
(TRUECASEDSCR FALSECASEDSCR)
(MAKECNDFORM (CAR REDSYM)
(CAR REDNUM)
(MATCH
(REMOVEDUPS CANSYM
CONCNUM
(CDDR TRUECASEDSCR)
(CAR TRUECASEDSCR)
(CADR TRUECASEDSCR))
(CADDR REDSYM)
(CADDR REDNUM)
TRUECASEDSCR)
(MATCH
(REMOVEDUPS CANSYM
ALTNUM
(CDDR FALSECASEDSCR)
(CAR FALSECASEDSCR)
(CADR FALSECASEDSCR))
(CDDDR REDSYM)
(CDDDR REDNUM)
FALSECASEDSCR)))))
(BREADTHTODEPTH NUMG
(SETQ MAXSEENTEMPG
(SETQ
MAXASSIGNG
(CAAR REDNUM)))
(LIST
(CONS (CAAR REDNUM) (CAAR REDNUM))
(CONS 0 0)))
(BREADTHTODEPTH NUMG
(SETQ MAXSEENTEMPG (CAAR REDNUM))
(LIST
(CONS (CAAR REDNUM) MAXASSIGNG)
(CONS 0 0)))
(GETUPDATEPARAMS (CAR REDSYM) (CAR REDNUM))
EQTABLEG))))))))
EXPR)
NIL
*